Rio Grande do Norte

Results: 243



#Item
21

veriT: an open, trustable and efficient SMT-solver Thomas Bouton2 , Diego Caminha B. de Oliveira2 , David D´eharbe1 , and Pascal Fontaine2 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

Add to Reading List

Source URL: www.montefiore.ulg.ac.be

Language: English - Date: 2009-07-30 08:28:54
    22

    Quantier Inference Rules for SMT proofs∗ David Deharbe Universidade Federal do Rio Grande do Norte, Natal, Brazil

    Add to Reading List

    Source URL: www.verit-solver.org

    Language: English - Date: 2015-06-10 09:33:21
      23

      Quantier Inference Rules for SMT proofs∗ David Deharbe Universidade Federal do Rio Grande do Norte, Natal, Brazil

      Add to Reading List

      Source URL: www.montefiore.ulg.ac.be

      Language: English - Date: 2011-07-11 06:21:04
        24

        Integration of SMT-Solvers in B and Event-B Development Environments David D´eharbe Universidade Federal do Rio Grande do Norte Departamento de Inform´atica e Matem´atica Aplicada Natal, RN, Brazil

        Add to Reading List

        Source URL: www.verit-solver.org

        Language: English - Date: 2015-06-10 09:33:21
          25

          Exploiting symmetry in SMT problems David D´eharbe1 , Pascal Fontaine2 , Stephan Merz2 , and Bruno Woltzenlogel Paleo3? 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

          Add to Reading List

          Source URL: www.verit-solver.org

          Language: English - Date: 2015-06-10 09:33:21
            26

            Exploiting symmetry in SMT problems David D´eharbe1 , Pascal Fontaine2 , Stephan Merz2 , and Bruno Woltzenlogel Paleo3? 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

            Add to Reading List

            Source URL: www.montefiore.ulg.ac.be

            Language: English - Date: 2011-07-11 05:58:16
              27

              Le solveur SMT veriT∗ David D´eharbe†(Univ. F´ed. Rio Grande do Norte, Br´esil) Pablo Federico Dobal (Inria Nancy - Grand-Est, Loria) Pascal Fontaine‡(Inria Nancy - Grand-Est, Loria, Universit´e de Lorraine) Le

              Add to Reading List

              Source URL: www.verit-solver.org

              Language: French - Date: 2015-06-10 09:33:21
                28

                Extending Smt-Lib v2 with λ-Terms and Polymorphism Richard Bonichon, David D´eharbe, and Cl´audia Tavares Universidade Federal do Rio Grande do Norte Natal, Brazil , , claudia@p

                Add to Reading List

                Source URL: www.verit-solver.org

                Language: English - Date: 2015-06-10 09:33:21
                  29

                  haRVey: satisfaisabilit´ e et th´ eories Diego Caminha B. de Oliveira (Univ. Rio Grande do Norte, Br´esil) David D´eharbe? (Univ. Rio Grande do Norte, Br´esil), Pascal Fontaine?? (LORIA – Universit´e de Nancy)

                  Add to Reading List

                  Source URL: www.montefiore.ulg.ac.be

                  Language: French - Date: 2007-07-30 11:44:30
                    30

                    Quantifier Inference Rules for SMT proofs∗ David Deharbe Universidade Federal do Rio Grande do Norte, Natal, Brazil Pascal Fontaine

                    Add to Reading List

                    Source URL: pxtp2011.loria.fr

                    Language: English - Date: 2011-08-12 05:51:25
                      UPDATE